INCOME/WF - A Petri Net Based Approach to Workflow Management
نویسنده
چکیده
Flexibility of process support is a key requirement for current and future business applications. A technology which is designed to flexibly support various kinds of processes are workflow management systems. In this paper we present INCOME/WF a prototype of a workflow management system based on high-level Petri nets as workflow modelling and execution language. Important requirements for INCOME/WF are easily adjustable workflow schemes and support for unstructured or weakly structured activities. Both requirements are not yet sufficiently fulfilled by existing WFMS.
منابع مشابه
A Study on Workflow Resource Management Based on Workflow Net and Agent
At present, the resource modeling of workflow net (WF-net) are too simple to describe complex workflow. Thus, its application is not satisfying in practical use. Based on the analysis of resource management problems, unified resources management which gets the identical resource request and release process is proposed. The method of identical resource-modeling reduces complexity of WF-net model...
متن کاملFormulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach
Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow...
متن کاملA Workflow Decomposition Algorithm Based on Invariants ∗
An efficient decomposition algorithm for a workflow model based on Petri net invariants is presented in this paper. The algorithm is a new kind of simplification strategy that decomposes a complex and sound Workflow net (WF-net) to a class of simple subnets that are able to describe the business cases. The existence of T-invariants and the coverage sets of WF-net transitions are analyzed and ve...
متن کاملModeling workflow processes with colored Petri nets
The de®nition and maintenance of work¯ow processes have become important tasks for enterprises as work¯ow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of work¯ow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (work¯ow-net based on colored Petri net) is an ...
متن کاملCatalog-based Token Transportation in Acyclic Block-Structured WF-nets
The problem of workflow instance migration occurs during dynamic evolutionary changes in processes. The paper presents a catalogbased algorithm called the Yo-Yo Algorithm for consistent instance migration in Petri net workflow models. It uses a technique of folding and unfolding of nets. The algorithm is formulated in terms of Colored Derivation Trees, a novel representation of the runtime stat...
متن کامل